/*
 * author M.Chang
 *
 * Copyright 2008 Ph.Bonnet and M.Chang
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 *  You may obtain a copy of the License at
 *
 *      http://www.apache.org/licenses/LICENSE-2.0
 *
 *  Unless required by applicable law or agreed to in writing, software
 *  distributed under the License is distributed on an "AS IS" BASIS,
 *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 *  See the License for the specific language governing permissions and
 *  limitations under the License.
 *
 */
#ifndef MINIZINCPLANNER_H_
#define MINIZINCPLANNER_H_

#include <iostream>
#include <fstream>
#include <sstream>
#include <vector>

#include "Tokenize.h"


const char minizinc_to_flatzinc[] = "mzn2fzn";
const char temporary_flatzinc_file[] = "dummy";
const char flatzinc_solver[] = "fz -time 1000";
const char temporary_output_file[] = "output";


class MinizincPlanner
{
  public:
    MinizincPlanner();
    ~MinizincPlanner();

    static bool solve(const std::string& model, std::vector<std::string>& solution);

  private:
};



#endif /*MINIZINCPLANNER_H_*/
